$\forall$$r$:Rng, $a$, $b$, $c$:$\mid$$r$$\mid$. (($a$ +$r$ $b$) = ($a$ +$r$ $c$) $\in$ $\mid$$r$$\mid$) $\Rightarrow$ ($b$ = $c$)